21. Automated deduction in geometr
Author: / Pascal Schreck, Julien Narboux, Jeurgen Richter-Gebert (eds.
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Geometry, Data processing, Congresses,Automatic theorem proving, Congresses,Computer science,Software engineering,Computational complexity,Artificial intelligence,Computer graphics,Artificial Intelligence (incl. Robotics),Mathematical Logic and Formal Languages,Symbolic and Algebraic Manipulation,Discrete Mathematics in Computer Science,Electronic books
Classification :
QA448
.
D38
,
I58
2011
22. Bits and bugs :
Author: Thomas Huckle, Tobias Neckel.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Debugging in computer science-- History.,Software failures-- History.,Debugging in computer science.,Software failures.
Classification :
QA76
.
76
.
F34
H83
2019
23. CG International '90 :
Author: edited by Tat-Seng Chua, Tosiyasu L. Kunii.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer graphics.,Computer science.
Classification :
T385
.
E358
1990
24. COMPSTAT
Author: edited by Roger Payne, Peter Green.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Management information systems.,Statistics.
25. Coalgebraic methods in computer science :
Author: Corina Cîrstea (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics, Congresses.,Computer software-- Mathematics, Congresses.,Artificial Intelligence.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Artificial intelligence.,Computer programming-- software development.,Computer science-- Mathematics.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Mathematical theory of computation.,Mathematics-- Logic.
Classification :
QA76
.
9
.
M35
26. Combinatorial Pattern Matching :
Author: edited by Dan Hirschberg, Gene Myers.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computational complexity.,Computer science.,Computer software.
27. Combinatorial algorithms :
Author: Costas S. Iliopoulos, William F. Smyth (editions.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Combinatorial analysis-- Data processing, Congresses,Computational complexity, Congresses,Computer algorithms, Congresses
Classification :
QA164
.
I58
2011
28. Combinatorial optimization and applications :
Author: Donghyun Kim, R.N. Uma, Alexander Zelikovsky (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Combinatorial optimization-- Data processing, Congresses.,Computer science-- Mathematics, Congresses.,Mathematical optimization, Congresses.,Computational complexity.,Computer network architectures.,Computer science.,Computer software.,Electronic data processing.
Classification :
QA402
.
5
.
C5423
2017
29. Computational Logic - CL 2000 :
Author: edited by John Lloyd, Veronica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luís Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer architecture.,Computer science.,Software engineering.
Classification :
QA76
.
9
.
L63
E358
2000
30. Computational Techniques in Quantum Chemistry and Molecular Physics :
Author: edited by G.H.F. Diercksen, B.T. Sutcliffe, A. Veillard.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Electronic data processing.
Classification :
QC175
.
16
.
M6
E358
1975
31. Computational geometry, graphs and applications :
Author: Jin Akiyama [and others] (editions.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computational grids (Computer systems), Congresses,Data structures (Computer science), Congresses
Classification :
QA76
.
9
.
C58
C45
2011eb
32. Computational intelligence and information technology :
Author: Vinu V Das, Nessy Thankachan (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computational intelligence, Congresses.,Information technology, Congresses.
Classification :
Q342
.
I58
2011
33. Computational pathology and ophthalmic medical image analysis :
Author: Danail Stoyanov, Zeike Taylor, Francesco Ciompi, Yanwu Xu et al. (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Eye-- Imaging, Congresses.,Pathology-- Data processing, Congresses.,Arithmetic and Logic Structures.,Artificial Intelligence.,Image Processing and Computer Vision.,Pattern Recognition.,Probability and Statistics in Computer Science.,Algorithms & data structures.,Artificial intelligence.,Computers-- Computer Graphics.,Computers-- Computer Vision & Pattern Recognition.,Computers-- Intelligence (AI) & Semantics.,Computers-- Logic Design.,Computers-- Mathematical & Statistical Software.,Image processing.,Maths for computer scientists.,Pathology-- Data processing.,Pattern recognition.
Classification :
RB38
34. Computational science and its applications-- ICCSA 2013 :
Author: Beniamino Murgante ... [and seven others] (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer Communication Networks.,Computer networks -- Congresses.,Computer science -- Congresses.
35. Computer Algebra in Scientific Computing (vol. # 3718)
Author: edited by Victor G. Ganzha, Ernst W. Mayr, Evgenii V. Vorozhtsov.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra-- Data processing.,Algorithms.,Computational complexity.,Computer science.,Computer software.
36. Computer aided systems theory--EUROCAST '93 :
Author: F. Pichler, R. Moreno Díaz, eds.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer-aided design, Congresses.,Computer-aided engineering, Congresses.
Classification :
TA345
.
I62
1993
37. Computer algebra in scientific computing :
Author: Victor G. Ganzha, Ernst W. Matr, Evgenii V. Vorozhtsov (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra -- Data processing -- Congresses.,Algebra -- Data processing.,Science -- Data processing -- Congresses.
38. Computer algebra in scientific computing :
Author: Victor G. Ganzha, Ernst W. Matr, Evgenii V. Vorozhtsov (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra -- Data processing -- Congresses.,Algebra -- Data processing.,Science -- Data processing -- Congresses.
39. Computing handbook :
Author: edited by Teofilo Gonzalez, Jorge Díaz-Herrera ; editor-in-chief, Allen Tucker.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science -- Handbooks, manuals, etc.,Computer science.,Software engineering -- Handbooks, manuals, etc.
Classification :
QA76
.
E358
9999
40. Connected Dominating Set: Theory and Application
Author: / by Ding-Zhu Du, Peng-Jun Wan
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Mathematics,Computer Communication Networks,Computer software,Combinatorics,Mathematical optimization,Electronic books
Classification :
E-BOOK
